namespace RABV_CHECK {
// some function returning an index
	namespace bad_1 {
		int get_index();

		void main() {
			const int SIZE = 10;

			int arr[SIZE];
			int index = get_index();

			arr[index] = 0;

			if (index >= SIZE) {
				return;
			}
		}
	}

	namespace bad_2 {
		int get_index();

		void set(int* arr, int index) {
			arr[index] = 0;
		}

		void main() {
			const int SIZE = 10;
			int arr[SIZE];
			int index = get_index();

			set(arr, index);

			if (index >= SIZE) {
				return;
			}
		}
	}

	namespace good_1 {
		// some function returning an index
		int get_index();

		void main() {
			const int SIZE = 10;

			int arr[SIZE];
			int index = get_index();

			if (index >= SIZE) {
				return;
			}

			arr[index] = 0;
		}
	}

	namespace good_2 {
		int get_index();

		void set(int* arr, int index) {
			arr[index] = 0;
		}

		void main() {
			const int SIZE = 10;
			int arr[SIZE];
			int index = get_index();

			if (index >= SIZE) {
				return;
			}

			set(arr, index);
		}
	}
}